Explaining Reform Deadlocks

When Economic Reform is Faster than Statistical Reform: Measuring and Explaining Income Inequality in Rural China

Official tabulations from household survey data suggest rising income inequality in post-reform rural China, and this trend has been of public concern. However, the structural changes in the Chinese rural economy had not been properly reflected in the methods used for processing the raw survey data. Using micro data for four provinces, we find that two-thirds of the conventionally measured incr...

Explaining Welfare Reform : Public Choice and the Labor Market

This paper seeks to identify factors that could plausibly have led to the contractionary welfare reform initiatives begun at the state and federal levels in the United States in the 1990s, initiatives concentrated on the Aid to Families with Dependent Children (AFDC) program. A review of aggregate time-series evidence, cross-sectional regression research, and studies of attitudes toward welfare...

Deadlocks as Runtime Exceptions

Deadlocks are a common type of concurrency bug. When a deadlock occurs, it is difficult to clearly determine whether there is an actual deadlock or if the application is slow or hanging due to a different reason. It is also difficult to establish the cause of the deadlock. In general, developers deal with deadlocks by using analysis tools, introducing application-specific deadlock detection mec...

Deadlocks and Safety Properties

Mutations, Flashbacks and Deadlocks

We generalize the theory of permutations of names to so-called mutations that transform tuples by introducing duplicates and fresh names. The theory of mutations underpins an algorithm for detecting deadlocks (i.e. circular dependencies between resources) in a model defining dependencies – the language for lams. We demonstrate that our algorithm is a decision procedure for so-called linear lams...